Skip to content

docs: propose a draft ProofPatch evidence format#6

Merged
guillaumevele merged 1 commit into
mainfrom
codex/proofpatch-rfc
Jul 13, 2026
Merged

docs: propose a draft ProofPatch evidence format#6
guillaumevele merged 1 commit into
mainfrom
codex/proofpatch-rfc

Conversation

@guillaumevele

Copy link
Copy Markdown
Owner

Summary

  • add a draft, explicitly unimplemented ProofPatch RFC
  • define intent, deterministic digests, invariants, threat model and phased guarantees
  • use an in-toto Statement shape with a future DSSE signing path
  • add kill criteria instead of claiming compatibility before implementation
  • derive generated artifact versions from package.json and cover that behavior with a unit test

Verification

  • npm run verify passed in full
  • 86 files scanned, 0 findings
  • generated reports and machine artifacts are current
  • git diff --check

@guillaumevele guillaumevele merged commit ce1f5f6 into main Jul 13, 2026
6 checks passed
@guillaumevele guillaumevele deleted the codex/proofpatch-rfc branch July 13, 2026 12:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant